21. Handbook of the history of logic
پدیدآورنده: edited by Dov M. Gabbay, Stephan Hartmann and John Woods
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: History ، Logic
رده :
BC
15
.
H36
2011
22. Handbook of the history of logic
پدیدآورنده: / edited by Dov M. Gabbay and John Woods
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Logic--History
رده :
BC
,
15
,.
H36
,
2004
23. Labelled Deduction
پدیدآورنده: edited by David Basin, Marcello D'Agostino, Dov M. Gabbay, Seán Matthews, Luca Viganò.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Logic.,Philosophy (General)
24. Mathematical problems from applied logic
پدیدآورنده: / edited by Dov M. Gabbay, Sergi S. Goncharov and Michael Zakharyaschev
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Logic, Symbolic and mathematical.
رده :
QA9
,.
M346
,
2006
25. Mathematical problems from applied logic I :
پدیدآورنده: edited by Dov M. Gabbay, Sergi S. Goncharov, and Michael Zakharyaschev.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,MATHEMATICS-- Infinity.,MATHEMATICS-- Logic.
رده :
QA9
.
A1
M38
2006eb
26. Mathematical problems from applied logic : logics for the XXIst century
پدیدآورنده: edited by Dov M. Gabbay, Sergi S. Goncharov, and Michael Zakharyaschev
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Logic, Symbolic and mathematical
رده :
QA
9
.
M28
27. Temporal Logic :
پدیدآورنده: edited by Dov M. Gabbay, Hans Jürgen Ohlbach.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Database management.,Logic design.
رده :
QA76
.
6
E358
1994
28. The rise of modern logic :
پدیدآورنده: edited by Dov M. Gabbay and John Woods.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Logic-- History.,Logic.
29. What is negation?
پدیدآورنده: edited by Dov M. Gabbay and Heinrich Wansing.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Negation (Logic)
رده :
BC199
.
N4
E358
2011
